* nt/makefile.w32-in (maybe-copy-distfiles)
authorChristoph Scholtes <cschol2112@gmail.com>
Sun, 5 Feb 2012 20:14:54 +0000 (13:14 -0700)
committerChristoph Scholtes <cschol2112@gmail.com>
Sun, 5 Feb 2012 20:14:54 +0000 (13:14 -0700)
commit4d126f384d98d87ed6ed7d14b49164993e4c5cef
tree946a67e32132f97b4fac27194f44ee9a4ce9f431
parent10f44cd58cdcb2c39ca862f2599c35914ba22453
* nt/makefile.w32-in (maybe-copy-distfiles)
(maybe-copy-distfiles-CMD, maybe-copy-distfiles-SH)
(create-tmp-dist-dir): Added to make --distfiles optional.
(dist): Use create-tmp-dist-dir and maybe-copy-distfiles.
nt/ChangeLog
nt/makefile.w32-in